\documentclass{article}

\usepackage{listings}
\usepackage{indentfirst}
\usepackage{verbatim}
\usepackage{amsmath, amsthm, amssymb}
\usepackage{stmaryrd}
\usepackage{graphicx}
\usepackage{euscript}

\usepackage[utf8]{inputenc}
\usepackage[english,russian]{babel}
\usepackage[T2A]{fontenc}

\lstdefinelanguage{llang}{
keywords={skip, do, while, read, write, if, then, else},
sensitive=true,
%%basicstyle=\small,
commentstyle=\scriptsize\rmfamily,
keywordstyle=\ttfamily\underbar,
identifierstyle=\ttfamily,
basewidth={0.5em,0.5em},
columns=fixed,
fontadjust=true,
literate={->}{{$\to$}}1
}

\lstset{
language=llang
}

\newcommand{\aset}[1]{\left\{{#1}\right\}}
\newcommand{\term}[1]{\mbox{\texttt{\bf{#1}}}}
\newcommand{\cd}[1]{\mbox{\texttt{#1}}}
\newcommand{\sembr}[1]{\llbracket{#1}\rrbracket}
\newcommand{\conf}[1]{\left<{#1}\right>}
\newcommand{\fancy}[1]{{\cal{#1}}}

\newcommand{\trule}[2]{\frac{#1}{#2}}
\newcommand{\crule}[3]{\frac{#1}{#2},\;{#3}}
\newcommand{\withenv}[2]{{#1}\vdash{#2}}
\newcommand{\trans}[3]{{#1}\xrightarrow{#2}{#3}}
\newcommand{\ctrans}[4]{{#1}\xrightarrow{#2}{#3},\;{#4}}
\newcommand{\llang}[1]{\mbox{\lstinline[mathescape]|#1|}}
\newcommand{\pair}[2]{\inbr{{#1}\mid{#2}}}
\newcommand{\inbr}[1]{\left<{#1}\right>}
\newcommand{\highlight}[1]{\color{red}{#1}}
\newcommand{\ruleno}[1]{\eqno[\textsc{#1}]}
\newcommand{\inmath}[1]{\mbox{$#1$}}
\newcommand{\lam}[2]{\lambda{#1}.{#2}}
\newcommand{\lamN}[1]{\lambda{#1}}
\newcommand{\aconv}[3]{{#1}\xrightarrow{#2}_\alpha{#3}}
\newcommand{\asim}[2]{{#1}\sim_\alpha{#2}}
\newcommand{\bred}[2]{{#1}\to_\beta{#2}}
\newcommand{\lfp}[1]{fix_{#1}}
\newcommand{\gfp}[1]{Fix_{#1}}
\newcommand{\la}[1]{{\cal LA}\:(#1)}

\newcommand{\NN}{\mathbb N}
\newcommand{\ZZ}{\mathbb Z}

\begin{document}

\include{abstract_syntax}
\include{dynamic_bs_semantics}
\include{vertical_syntax}
\include{defined_variables}
\include{control_flow}
\include{arrays}
\include{references}
\include{cps}
\include{simple_break}
\include{sm}
\include{sm_compiler}
\include{compiler_equiv}
\include{lambda}
\include{monotonic_framework}
\include{lattices}
\include{fixpoint_approximation}

\end{document}

